add_library(constructions OBJECT rec_on.cpp cases_on.cpp
  no_confusion.cpp projection.cpp brec_on.cpp init_module.cpp has_sizeof.cpp
  constructor.cpp drec.cpp injective.cpp util.cpp)
